The tree-based data structure of -tree for propositional formulas is introduced in an improved and optimised form. The -trees allow a compact representation for negation normal forms as well as for a number of reduction strategies in order to consider only those occurrences of literals which are relevant for the satisfiability of the input formula. These reduction strategies are divided into two subsets (meaning- and satisfiability-preserving transformations) and can be used to decrease the size of a negation normal form A (...) at (at most) quadratic cost. The reduction strategies are aimed at decreasing the number of required branchings and, therefore, these strategies allow to limit the size of the search space for the SAT problem. (shrink)

Como casi todos los conceptos fi losófi cos, el de «validez normativa» tiene altos grados de ambigüedad y de vaguedad. En este trabajo me encargo de analizar la postura de distintos autores que han tratado de dar respuesta a la pregunta ¿qué significa que una norma sea «válida»? Para ello, tomo como hilo conductor la obra de Ernesto Garzón Valdés. Esto se debe a que los trabajos de Ernesto Garzón dedicados a este tema, le ofrecen al lector un análisis crítico (...) y comprensivo de algunas de las posturas teóricas más relevantes sobre el concepto de validez normativa. Asimismo, trabajar a través de su obra tiene un doble benefi cio: por un lado, no sólo nos permite conocer a fondo la postura teórica de autores que pertenecen a distintas corrientes del pensamiento, como Hans Kelsen, H.L.A. Hart, Francisco Suárez o von Wright por ejemplo, sino que, por el otro, nos permite conocer la postura del mismo Garzón y sus críticas a los diferentes modelos conceptuales. (shrink)

Using a recent result of Busch and Gudder, we reconsider a theorem of Ludwig which allows one to identify a class of effect automorphisms as the symmetry transformations in quantum mechanics.

In this paper art history and visual studies, the disciplines that study visual culture, are presented as a field whose conjectural paradigm can be used to understand the epistemic problems associated with abduction. In order to do so, significant statements, concepts and arguments from the work of several specialists in this field have been highlighted. Their analysis shows the fruitfulness and potential for understanding the study of visual culture as a field that is interwoven with the assumptions of abductive cognition.

Semantic Automata Johan van Ben them. INTRODUCTION An attractive, but never very central idea in modern semantics has been to regard linguistic expressions ...

The aim of this text is to examine the issue of truth telling in doctor-patient relationships, namely in the case of terminal patients. We analyze the problems and attitudes regarding truth telling that there are present when patients suffer from mortal diseases. We conclude that it is very important to keep a fluent and truthful communication in the doctor-patient relationship. We also examine and stress the role that general practitioners can play in the care of terminal patients at their home (...) and with their friends and/or relatives. (shrink)

RESUMO O objetivo deste artigo é analisar a concepção de liberdade encontrada em "Discourses concerning government" de Algernon Sidney. Mantendo a perspectiva republicana, a liberdade é definida pela ausência de dominação, ou seja, pela não submissão, sujeição ou exposição à vontade arbitrária de outra pessoa; e assumindo a perspectiva jusnaturalista, a liberdade é considerada um direito natural, inerente à condição humana, que deve ser preservado e assegurado pela autoridade política. Pretende-se discutir como Sidney articula essas duas perspectivas em sua teoria (...) política, projetando a concepção republicana de liberdade na modernidade.ABSTRACT The objective of this paper is to analyze the concept of freedom found in Algernon Sidney’s "Discourses Concerning government". Keeping the republican thought, freedom is defined by the absence of domination, i.e., the denial of submission, bondage or exposure to the arbitrary will of another person; and taking the jusnaturalist thought, freedom is considered a natural right inherent to the human condition, which must be preserved and guaranteed by the political authority. I intend to discuss how Sidney articulates these two perspectives in his political theory, outlining the republican conception of freedom in modernity. (shrink)

Ethical decision-making in school administration has received considerable attention in educational leadership literature. However, most research has focused on principals working in secondary school settings while studies that explore ethical reasoning processes of academic deans have been significantly few. This qualitative study aims to describe the ethical decision-making processes employed by a select group of Filipino college deans in solving ethical dilemmas using the ethical paradigms proposed in the works of Starratt (Educ Adm Q 27:185–202, 1991) and Shapiro and Stefkovich (...) (Ethical leadership and decision-making in education: applying theoretical perspectives to complex dilemmas, 2005) as frameworks for the analysis. Data was gathered using semi-structured interviews and field text was analyzed using deductive thematic analysis. Findings of this study show that majority of the deans chose to share ethical dilemmas involving students and teachers. The findings also show the ethical frameworks of care, justice, and profession as the dominant paradigms utilized by Filipino deans and their preference for adopting multiple ethical frameworks when making their decisions. Most of the ethical dilemmas which the deans narrated relate to their tasks of academic administration such as monitoring student performance, faculty evaluation and maintaining school discipline. Interestingly, only a few dilemmas involving university administrators were expressed, and dilemmas that refer to broader societal issues usually associated with school administrators’ utilization of the ethic of critique were also significantly left out in the narratives of this study. This paper intends to contribute to current literature by expanding research to administrators working in the context of higher education in the Philippine setting. The findings of this study could serve as knowledge base in designing ethics courses to enhance educational leaders’ ethical decision-making skills. The study also provides useful insights of ethical decisions and reasoning processes employed by academic administrators in resolving real life ethical dilemmas that could be useful at the practical level for aspiring and practicing deans. (shrink)

Take the following version of scientific realism: we have good reason to believe that (some of the) current scientific theories tell us something specific about the underlying, i.e. unobservable, structures of the world, for instance that there are electrons with a certain electric charge, or that there are viruses that cause certain diseases. Popper, the rationalist, would not have adhered to the proposed formulation of scientific realism in terms of the rationality of existential beliefs concerning unobservables. Popper did not believe (...) in belief. According to Van Fraassen, the empiricist, one may yet have a rational existential belief concerning unobservables, given a liberal notion of rationality of belief. In this paper I will investigate to what extent a reassessment of both Popper’s rejection of the rationality of belief and Van Fraassen’s reformulation of the rationality of belief, points towards a new and pragmatist dissolution of the ‘problem of scientific realism’. (shrink)

Este artigo pretende discutir os conceitos de direito natural e propriedade no Iuri universi distributio (1578) e as suas conseqüências políticas no Methodus ad facilem historiarum cognitionem (1566) e no Les Six Livres de la République (1576), de Jean Bodin.

This article aims to discuss the concepts of natural right and property in Bodin's Iuri distributio universi and the political consequences of these ideas in Methodus ad facilem historiarum cognitionem and Les Six Livres de la République .Este artigo pretende discutir os conceitos de direito natural e propriedade no Iuri universi distributio e as suas conseqüências políticas no Methodus ad facilem historiarum cognitionem e no Les Six Livres de la République , de Jean Bodin.

Gentile's philosophy merits the attention of every serious thinker, for it presents the doctrine that reality is spiritual in a more uncompromising form than is to be found elsewhere, and claims to solve on this principle all the great problems that have beset the history of metaphysic. His own name for it is Absolute or Actual Idealism . For Gentile, nothing is real but the Spirit, and by the Spirit he means the pure act of self-conscious thinking. “The subject that (...) conceives itself in conceiving All is the reality itself.” In the act of conscious thinking, the Spirit is present in its entirety as subject ; generating therein by its own creative spontaneity a world of objects, and resolving the products of this act of objectification into the womb that gave them birth. In this immanent dialectic–pure subject , pure object , subject-object –lies the rhythmic life-history of the Spirit. “Our doctrine,” writes Gentile, “is the theory of the Spirit as act which posits its object in a multiplicity of objects, resolving their multiplicity and objectivity in the unity of the subject itself.” For such a doctrine, transcendence is the enemy, the Goliath whom Gentile has gone forth to slay. He confronts us, on almost every page of his writings, with an ineluctable dilemma. Either a philosophy of sheer immanence, or reality is unknowable. (shrink)